41![Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) A Model Advisor for NuSMV Specifications Paolo Arcaini · Angelo Gargantini · Elvinia Riccobene Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) A Model Advisor for NuSMV Specifications Paolo Arcaini · Angelo Gargantini · Elvinia Riccobene](https://www.pdfsearch.io/img/cb21b313a7ea422535a93ad10725d6fa.jpg) | Add to Reading ListSource URL: cs.unibg.it- Date: 2010-09-13 06:54:26
|
---|
42![Re-Implementing Apache Thrift using Model-Driven Engineering Technologies: An Experience Report Sina Madani and Dimitrios S. Kolovos Department of Computer Science, University of York, UK {sm1748, dimitris.kolovos}@york. Re-Implementing Apache Thrift using Model-Driven Engineering Technologies: An Experience Report Sina Madani and Dimitrios S. Kolovos Department of Computer Science, University of York, UK {sm1748, dimitris.kolovos}@york.](https://www.pdfsearch.io/img/2b72ec9ba79661150ed3b68d2723a339.jpg) | Add to Reading ListSource URL: oclworkshop.github.io- Date: 2016-10-24 11:16:21
|
---|
43![A framework to model norm dynamics in Answer Set Programming Sofia Panagiotidi and Juan Carlos Nieves and Javier Vázquez-Salceda Knowledge Engineering and Machine Learning Group Universitat Politecnica de Catalunya, Spa A framework to model norm dynamics in Answer Set Programming Sofia Panagiotidi and Juan Carlos Nieves and Javier Vázquez-Salceda Knowledge Engineering and Machine Learning Group Universitat Politecnica de Catalunya, Spa](https://www.pdfsearch.io/img/3c91d52caa4477bcebb45a9301a2b91f.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2009-08-10 08:38:40
|
---|
44![A GENERALIZED GAUSS MARKOV MODEL FOR SPACE OBJECTS IN BLIND RESTORATION OF ADAPTIVE OPTICS TELESCOPE IMAGES * Brian D. Jeffst, Sheila Hongt and Julian Christout Computer Engineering, 459 CB, Brigham Young University, Pro A GENERALIZED GAUSS MARKOV MODEL FOR SPACE OBJECTS IN BLIND RESTORATION OF ADAPTIVE OPTICS TELESCOPE IMAGES * Brian D. Jeffst, Sheila Hongt and Julian Christout Computer Engineering, 459 CB, Brigham Young University, Pro](https://www.pdfsearch.io/img/4e6f49ff89e7c07f6c2ac4cb24cd3595.jpg) | Add to Reading ListSource URL: www.et.byu.edu- Date: 2009-10-14 12:22:25
|
---|
45![Graduation Project: Computer Science & Engineering master Point-Feature Labelling in the 1-Slider Model: A Fixed-Parameter Tractable Algorithm Supervisor: Dr. Bart M.P. Jansen Graduation Project: Computer Science & Engineering master Point-Feature Labelling in the 1-Slider Model: A Fixed-Parameter Tractable Algorithm Supervisor: Dr. Bart M.P. Jansen](https://www.pdfsearch.io/img/b9fd6e36574ae4c3867c06d84538d8a9.jpg) | Add to Reading ListSource URL: alexandria.tue.nl- Date: 2015-09-10 03:38:28
|
---|
46![Enterprise Cloud ANSYS Licensing for Cloud Computing An Open Model for Business Continuity and Cloud Flexibility Rapid growth in the use of ANSYS engineering simulation tools — and in the demand for highperformance c Enterprise Cloud ANSYS Licensing for Cloud Computing An Open Model for Business Continuity and Cloud Flexibility Rapid growth in the use of ANSYS engineering simulation tools — and in the demand for highperformance c](https://www.pdfsearch.io/img/65bb6d983a8ebfe33430a3c2d5e36ea2.jpg) | Add to Reading ListSource URL: resource.ansys.com- Date: 2015-05-04 09:44:37
|
---|
47![A Segmentation Based Variational Model for Accurate Optical Flow Estimation Li Xu, Jianing Chen, and Jiaya Jia Department of Computer Science and Engineering The Chinese University of Hong Kong {xuli,jnchen,leojia}@cse.c A Segmentation Based Variational Model for Accurate Optical Flow Estimation Li Xu, Jianing Chen, and Jiaya Jia Department of Computer Science and Engineering The Chinese University of Hong Kong {xuli,jnchen,leojia}@cse.c](https://www.pdfsearch.io/img/140dacf1c2c060da262d27dc80f45df6.jpg) | Add to Reading ListSource URL: www.cse.cuhk.edu.hk- Date: 2008-07-21 13:06:01
|
---|
48![An Original Approach for the Dynamic Simulation of a Crude Oil Distillation Plant I. Building-up a full-scale mathematical model GABRIEL RÃDULESCU* Control Engineering and Computers Department Petroleum - Gas University An Original Approach for the Dynamic Simulation of a Crude Oil Distillation Plant I. Building-up a full-scale mathematical model GABRIEL RÃDULESCU* Control Engineering and Computers Department Petroleum - Gas University](https://www.pdfsearch.io/img/2752f85da74c9a9e2d1c4555045a00f2.jpg) | Add to Reading ListSource URL: www.revistadechimie.ro- Date: 2012-01-05 17:00:00
|
---|
49![KS_JU@DPIL-FIRE2016:Detecting Paraphrases in Indian Languages Using Multinomial Logistic Regression Model Kamal Sarkar Department of Computer Science and Engineering Jadavpur University, Kolkata, India KS_JU@DPIL-FIRE2016:Detecting Paraphrases in Indian Languages Using Multinomial Logistic Regression Model Kamal Sarkar Department of Computer Science and Engineering Jadavpur University, Kolkata, India](https://www.pdfsearch.io/img/eb09568c6a888ccbb244b6b3c89ee728.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2016-11-18 14:11:21
|
---|